Projection-Based Program Analysis

Projection-based program analysis techniques are remarkable for their ability to give highly detailed and useful information not obtainable by other methods. The first proposed projection-based analysis techniques were those of Wadler and Hughes for strictness analysis, and Launchbury for binding-time analysis; both techniques are restricted to analysis of first-order monomorphic languages. Hughes and Launchbury generalised the strictness analysis technique, and Launchbury the binding-time analysis technique, to handle polymorphic languages, again restricted to first order. Other than a general approach to higher-order analysis suggested by Hughes, and an ad hoc implementation of higher-order binding-time analysis by Mogensen, neither of which had any formal notion of correctness, there has been no successful generalisation to higher-order analysis. We present a complete redevelopment of monomorphic projection-based program analysis from first principles, starting by considering the analysis of functions (rather than programs) to establish bounds on the intrinsic power of projection-based analysis, showing also that projection-based analysis can capture interesting termination properties. The development of program analysis proceeds in two distinct steps: first for first-order, then higher order. Throughout we maintain a rigorous notion of correctness and prove that our techniques satisfy their correctness conditions. Our higher-order strictness analysis technique is able to capture various so-called data-structure-strictness properties such as head strictness-the fact that a function may be safely assumed to evaluate the head of every cons cell in a list for which it evaluates the cons cell. Our technique, and Hunt's PER-based technique (originally proposed at about the same time as ours), are the first techniques of any kind to capture such properties at higher order. Both the first-order and higher-order techniques are the first projection-based techniques to capture joint strictness properties-for example, the fact that a function may be safely assumed to evaluate at least one of several arguments. The first-order binding-time analysis technique is essentially the same as Launchbury's; the higher-order technique is the first such formally-based higher-order generalisation. Ours are the first projection-based termination analysis techniques, and are the first techniques of any kind that are able to detect termination properties such as head termination-the fact that termination of a cons cell implies termination of the head. A notable feature of the development is the method by which the first-order analysis semantics are generalised to higher-order: except for the fixed-point constant the higher-order semantics are all instances of a higher-order semantics parameterised by the constants defining the various first-order semantics

Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters

Abstract. Optimization of access patterns using collective I/O imposes the overhead of exchanging data between processes. In a multi-core-based cluster the costs of inter-node and intra-node data communication are vastly different, and heterogeneity in the efficiency of data exchange poses both a challenge and an opportunity for implementing efficient collective I/O. The opportunity is to effectively exploit fast intra-node communication. We propose to improve communication locality for greater data exchange efficiency. However, such an effort is at odds with improving access locality for I/O efficiency, which can also be critical to collective-I/O performance. To address this issue we propose a framework, Orthrus, that can accommodate multiple collective-I/O implementations, each optimized for some performance aspects, and dynamically select the best performing one accordingly to current workload and system patterns. We have implemented Orthrus in the ROMIO library. Our experimental results with representative MPI-IO benchmarks on both a small dedicated cluster and a large production HPC system show that Orthrus can significantly improve collective I/O performance under various workloads and system scenarios.

A rare case of spinal injury: bilateral facet dislocation without fracture at the lumbosacral joint

AbstractLumbosacral dislocations are rare disorders; since they were first reported by Watson-Jones [1], only 100 cases have appeared in the literature [2]. A traumatic bilateral lumbosacral dislocation is even rarer, with a mere 10 cases reported [3]. Because of its low incidence and atypical location, the lesion may often go unnoticed on initial clinical assessment [4]. Surgical treatment modalities are not defined, but open reduction and internal fixation are often necessary because of a three-column involvement [5]. In this paper, we report on an initially misdiagnosed case of lumbosacral dislocation treated with open reduction and internal fixation

Gravitational waves from a test particle scattered by a neutron star: Axial mode case

Using a metric perturbation method, we study gravitational waves from a test particle scattered by a spherically symmetric relativistic star. We calculate the energy spectrum and the waveform of gravitational waves for axial modes. Since metric perturbations in axial modes do not couple to the matter fluid of the star, emitted waves for a normal neutron star show only one peak in the spectrum, which corresponds to the orbital frequency at the turning point, where the gravitational field is strongest. However, for an ultracompact star (the radius $R \lesssim 3M$), another type of resonant periodic peak appears in the spectrum. This is just because of an excitation by a scattered particle of axial quasinormal modes, which were found by Chandrasekhar and Ferrari. This excitation comes from the existence of the potential minimum inside of a star. We also find for an ultracompact star many small periodic peaks at the frequency region beyond the maximum of the potential, which would be due to a resonance of two waves reflected by two potential barriers (Regge-Wheeler type and one at the center of the star). Such resonant peaks appear neither for a normal neutron star nor for a Schwarzschild black hole. Consequently, even if we analyze the energy spectrum of gravitational waves only for axial modes, it would be possible to distinguish between an ultracompact star and a normal neutron star (or a Schwarzschild black hole).Comment: 21 pages, revtex, 11 figures are attached with eps files Accepted to Phys. Rev.

Dynamics of Scalar field in a Brane World

We study the dynamics of a scalar field in the brane cosmology. We assume that a scalar field is confined in our 4-dimensional world. As for the potential of the scalar field, we discuss three typical models: (1) a power-law potential, (2) an inverse-power-law potential, and (3) an exponential potential. We show that the behavior of the scalar field is very different from a conventional cosmology when the energy density square term is dominated.Comment: 15pages, 8figures, submitted to Physical Review

A Note on Inflation with Tachyon Rolling on the Gauss-Bonnet Brane

In this paper we study the tachyonic inflation in brane world cosmology with Gauss-Bonnet term in the bulk. We obtain the exact solution of slow roll equations in case of exponential potential. We attempt to implement the proposal of Lidsey and Nunes, astro-ph/0303168, for the tachyon condensate rolling on the Gauss-Bonnet brane and discuss the difficulties associated with the proposal.Comment: RevTex4, 5 pages, no figures, Minor clarifications added and references updated, To appear in PR

Three novel NY-ESO-1 epitopes bound to DRB1*0803, DQB1*0401 and DRB1*0901 recognized by CD4 T cells from CHP-NY-ESO-1-vaccinated patients

Three novel NY-ESO-1 CD4 T cell epitopes were identified using PBMC obtained from patients who were vaccinated with a complex of cholesterol-bearing hydrophobized pullulan (CHP) and NY-ESO-1 protein (CHP-NY-ESO-1). The restriction molecules were determined by antibody blocking and using various EBV-B cells with different HLA alleles as APC to present peptides to CD4 T cells. The minimal epitope peptides were determined using various N- and C-termini truncated peptides deduced from 18-mer overlapping peptides originally identified for recognition. Those epitopes were DRB1*0901-restricted NY-ESO-1 87-100. DQB1*0401-restricted NY-ESO-1 95-107 and DRB1*0803-restricted NY-ESO-1 124-134. CD4 T cells used to determine those epitope peptides recognized EBV-B cells or DC that were treated with recombinant NY-ESO-1 protein or NY-ESO-1-expressing tumor cell lysate, suggesting that the epitope peptides are naturally processed. These CD4 T cells showed a cytokine profile with Th1 characteristics. Furthermore, NY-ESO-1 87-100 peptide/HLA-DRB1*0901 tetramer staining was observed. Multiple Th1-type CD4 T cell responses are beneficial for inducing effective anti-tumor responses after NY-ESO-1 protein vaccination

Survey of Period Variations of Superhumps in SU UMa-Type Dwarf Novae

We systematically surveyed period variations of superhumps in SU UMa-type dwarf novae based on newly obtained data and past publications. In many systems, the evolution of superhump period are found to be composed of three distinct stages: early evolutionary stage with a longer superhump period, middle stage with systematically varying periods, final stage with a shorter, stable superhump period. During the middle stage, many systems with superhump periods less than 0.08 d show positive period derivatives. Contrary to the earlier claim, we found no clear evidence for variation of period derivatives between superoutburst of the same object. We present an interpretation that the lengthening of the superhump period is a result of outward propagation of the eccentricity wave and is limited by the radius near the tidal truncation. We interpret that late stage superhumps are rejuvenized excitation of 3:1 resonance when the superhumps in the outer disk is effectively quenched. Many of WZ Sge-type dwarf novae showed long-enduring superhumps during the post-superoutburst stage having periods longer than those during the main superoutburst. The period derivatives in WZ Sge-type dwarf novae are found to be strongly correlated with the fractional superhump excess, or consequently, mass ratio. WZ Sge-type dwarf novae with a long-lasting rebrightening or with multiple rebrightenings tend to have smaller period derivatives and are excellent candidate for the systems around or after the period minimum of evolution of cataclysmic variables (abridged).Comment: 239 pages, 225 figures, PASJ accepte

The N3RO trial: a randomised controlled trial of docosahexaenoic acid to reduce bronchopulmonary dysplasia in preterm infants < 29 weeks’ gestation

Background: Bronchopulmonary dysplasia (BPD) is a major cause of mortality and long-term respiratory and neurological morbidity in very preterm infants. While survival rates of very preterm infants have increased over the past two decades there has been no decrease in the rate of BPD in surviving infants. Evidence from animal and human studies has suggested potential benefits of docosahexaenoic acid (DHA), an n-3 long chain polyunsaturated fatty acid, in the prevention of chronic lung disease. This randomised controlled trial aims to determine the effectiveness of supplementary DHA in reducing the rate of BPD in infants less than 29 weeks’ gestation. Methods/design: This is a multicentre, parallel group, randomised, blinded and controlled trial. Infants born less than 29 weeks’ gestation, within 3 days of first enteral feed and with parent informed consent are eligible to participate. Infants will be randomised to receive an enteral emulsion containing DHA or a control emulsion without DHA. The DHA emulsion will provide 60 mg/kg/day of DHA. The study emulsions will continue to 36 weeks’ postmenstrual age (PMA). The primary outcome is BPD as assessed by the requirement for supplemental oxygen and/or assisted ventilation at 36 weeks’ PMA. Secondary outcomes include the composite of death or BPD; duration of respiratory support and hospitalisation, major neonatal morbidities. The target sample size is 1244 infants (622 per group), which will provide 90 % power to detect a clinically meaningful absolute reduction of 10 % in the incidence of BPD between the DHA and control emulsion (two tailed α =0.05). Discussion: DHA supplementation has the potential to reduce respiratory morbidity in very preterm infants. This multicentre trial will provide evidence on whether an enteral DHA supplement reduces BPD in very preterm infants

Mapping adipose and muscle tissue expression quantitative trait loci in African Americans to identify genes for type 2 diabetes and obesity

Relative to European Americans, type 2 diabetes (T2D) is more prevalent in African Americans (AAs). Genetic variation may modulate transcript abundance in insulin-responsive tissues and contribute to risk; yet published studies identifying expression quantitative trait loci (eQTLs) in African ancestry populations are restricted to blood cells. This study aims to develop a map of genetically regulated transcripts expressed in tissues important for glucose homeostasis in AAs, critical for identifying the genetic etiology of T2D and related traits. Quantitative measures of adipose and muscle gene expression, and genotypic data were integrated in 260 non-diabetic AAs to identify expression regulatory variants. Their roles in genetic susceptibility to T2D, and related metabolic phenotypes were evaluated by mining GWAS datasets. eQTL analysis identified 1,971 and 2,078 cis-eGenes in adipose and muscle, respectively. Cis-eQTLs for 885 transcripts including top cis-eGenes CHURC1, USMG5, and ERAP2, were identified in both tissues. 62.1% of top cis-eSNPs were within ±50kb of transcription start sites and cis-eGenes were enriched for mitochondrial transcripts. Mining GWAS databases revealed association of cis-eSNPs for more than 50 genes with T2D (e.g. PIK3C2A, RBMS1, UFSP1), gluco-metabolic phenotypes, (e.g. INPP5E, SNX17, ERAP2, FN3KRP), and obesity (e.g. POMC, CPEB4). Integration of GWAS meta-analysis data from AA cohorts revealed the most significant association for cis-eSNPs of ATP5SL and MCCC1 genes, with T2D and BMI, respectively. This study developed the first comprehensive map of adipose and muscle tissue eQTLs in AAs (publically accessible at https://mdsetaa.phs.wakehealth.edu) and identified genetically-regulated transcripts for delineating genetic causes of T2D, and related metabolic phenotypes